#include <stdio.h>

int main() {
	int res=0,i=0;
	while(i<10000) {
		if((i+1)%3==0) res+=i+1;
		i++;
	}
	printf("%d",res);
	return 0;
}